Automated regression unit test generation for program merges

نویسندگان

چکیده

Merging other branches into the current working branch is common in collaborative software development. However, developers still heavily rely on textual merge tools to handle complicated tasks. The latent semantic conflicts may fail be detected and degrade quality. Regression testing able prevent regression faults has been widely used real-world merged well examined by rerunning existing whole test suite. Intuitively, if suite fails cover changes of different at same time, would detected. Recently, it proposed conduct verification 3-way merges, but this approach does not support even some cases such as made parts program. In paper, we propose an unit generation specifically for checking program merges according our oracles. And general oracles us examine only also 2-way octopus merges. Considering arise locations besides changed methods project, design algorithm select UUTs based dependency analysis project. On basis, implement a tool called TOM generate tests Java We benchmark MCon4J consisting 389 conflict facilitate further studies topic. experimental results show that finds 45 3- way 87 while work MCon4J.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Test Generation

Testing remains the principal means of verification in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss some of the research challen...

متن کامل

Automated Program Generation in Viatra

Although the Unified Modeling Language (UML) has become the de facto standard visual modeling language of object–oriented design, both academic investigations and engineering experiments have revealed several shortcomings regarding, especially, its imprecise semantics and the lack of flexibility in domain specific applications [1]. Recently, the UML 2.0 Request For Proposal issued by the Object...

متن کامل

Toward Automated Test Generation for Engineering Applications

In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditions with counter-examples. From a feasible counterexample test inputs are then generated. Earlier research has demonstrated the usefulness of this approach and revealed its weakness. The major problems of applying this ...

متن کامل

Automated Test Generation for AspectJ Programs

Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...

متن کامل

Automated test-data generation for exception conditions

This paper presents a technique for automatically generating test-data to test exceptions. The approach is based on the application of a dynamic global optimization based search for the required test-data. The authors’ work has focused on test-data generation for safety-critical systems. Such systems must be free from anomalous and uncontrolled behaviour. Typically, it is easier to prove the ab...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science China Information Sciences

سال: 2022

ISSN: ['1869-1919', '1674-733X']

DOI: https://doi.org/10.1007/s11432-019-3020-4